perm filename BASIC.LSP[F81,JMC]1 blob sn#617731 filedate 1981-10-12 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	 Basic lisp functions and theorems for ekl
C00003 ENDMK
C⊗;
;;; Basic lisp functions and theorems for ekl

(decl (append) |ground⊗ground→ground| constant)
(decl (reverse) |ground→ground| constant)